English Computing Dictionary
◊ DECOMPOSED PETRI NET
Decomposed Petri Net
(DPN) The basis of {concurrency} in {ConC}.